UserId(x): [UserId(I64)]
UserId(x) = UserId(42)

x
